#from nltk.draw.plot import *
import nltk
#import math

print map(lambda x, y: x+y, [3, 6, 4],[1, 1, 1])
#nltk.draw.demo2()
#nltk.draw.tree.demo()
#nltk.parse.featurechart.demo()


#nltk.download()
#from nltk.inference import *

#p = Prover9()
#print p.binary_locations()
#config_prover9(path='/usr/local/bin')

#path_prover9 = 'C:/Documents and Settings/rlindeman/My Documents/TU/nltk/prover9/bin'
#config_prover9(path_prover9)
